Constructive proof - PDFSEARCH.IO - Document Search Engine

Constructive proof
Results: 23

#	Item
11	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-05-03 11:20:47 Type theory Homotopy theory Proof theory Homotopy type theory First-order logic Constructivism Symbol Natural deduction Curry–Howard correspondence Mathematical logic Logic Mathematics
12	Curriculum Vitae for Thierry Coquand Born, Jallieu (Is`ere, France) Education ´ • 1980 Ecole Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-03-20 10:27:36 Dependently typed programming Type theory Predicate logic Logic in computer science Mathematical constructivism Constructivism Constructive proof Coq Proof theory Mathematical logic Logic Programming language theory
13	An outline of a proposed system that learns from experts how to discharge proof obligations automatically (extended abstract) Alan Bundy1 , Gudmund Grov1,2 , and Cliff B. Jones2 1 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Mathematical logic Constructive proof Theorem Rippling Reification Vienna Development Method Logic Mathematics Mathematical proofs
14	Communications in Information and Systems Volume 13, Number 3, 357–397, 2013 A nonlinear, 3D ﬂuid-structure interaction problem driven by the time-dependent dynamic pressure data: a constructive existence proof Add to Reading List Source URL: bib.irb.hr Language: English - Date: 2014-06-04 05:25:05 Fluid dynamics Partial differential equations Wave mechanics Fluid-structure interaction Navier–Stokes equations Wave equation Dimensional analysis Viscosity Calculus Physics Multivariable calculus
15	UNIVERSITY OF GRONINGEN Inductive Types in Constructive Languages Peter J. de Bruin Add to Reading List Source URL: www.peterdebruin.net Language: English - Date: 2010-01-10 15:07:06 Mathematical logic Programming idioms Type theory Recursion Theoretical computer science Intuitionistic type theory Initial algebra Mathematical proof Inductive reasoning Mathematics Computer programming Logic
16	An Inductive Version of Nash-Williams’ Minimal-bad-sequence Argument for Higman’s Lemma Monika Seisenberger 1 Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2006-06-30 15:47:08 Mathematical proofs Proof theory Mathematical constructivism Logical syntax Well-quasi-ordering Bar induction Mathematical induction Well-formed formula Constructive proof Logic Mathematics Mathematical logic
17	A constructive semantics for ALC Loris Bozzato1 , Mauro Ferrari1 , Camillo Fiorentini2 , Guido Fiorino3 1 DICOM, Univ. degli Studi dell’Insubria, Via Mazzini 5, 21100, Varese, Italy DSI, Univ. degli Studi di Milano, Vi Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Proof theory Deduction Propositional calculus Natural deduction Curry–Howard correspondence Entailment Valuation Lambda calculus Orbifold Logic Mathematics Abstract algebra
18	Constructivism Is Difficult Eric Schechter In a recent issue of this M ONTHLY, Fred Richman [8] discussed existence proofs. Add to Reading List Source URL: www.math.vanderbilt.edu Language: English - Date: 2006-08-02 09:45:32 Mathematical logic Epistemology Intuitionism Philosophy of mathematics Constructivism Constructive proof Mathematical proof Constructive analysis Axiom of choice Mathematics Logic Mathematical constructivism
19	The Structure of the Collatz Trajectories with an Inductive/Constructive Proof of the Conjecture Kenneth Conrow, Kansas State University (retired) Add to Reading List Source URL: www-personal.ksu.edu Language: English - Date: 2007-03-07 16:24:04 Conjectures Number theory Tree T-tree Graph Mathematics Binary trees Collatz conjecture

UPDATE